compose(fmap(f), safe_head) == compose(safe_head, fmap(f));
